| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| bobindex | Text File | 192 | 5KB | 1996-05-06 |
| examples.tv | Text File | 130 | 3KB | 1996-05-06 |
| figures.tv | Text File | 126 | 3KB | 1996-05-06 |
| frontmatter | Text File | 203 | 5KB | 1996-05-06 |
| fullhtml.v | Hypertext Markup Language File | 1,761 | 45KB | 1996-05-06 |
| fulltext.hlp | Text File | 1,420 | 42KB | 1996-05-06 |
| fulltext.pv | Text File | 1,316 | 38KB | 1996-05-06 |
| fulltext.rev | Text File | 1,323 | 36KB | 1996-05-06 |
| fulltext.v | Text File | 1,371 | 41KB | 1996-05-06 |
| media.tv | Text File | 126 | 3KB | 1996-05-06 |
| README | Text File | 87 | 3KB | 1996-05-06 |
| tables.tv | Text File | 130 | 3KB | 1996-05-06 |
| toc.pv | Text File | 460 | 12KB | 1996-05-06 |
| toc.tv | Text File | 361 | 11KB | 1996-05-06 |
| tochtml.tv | Text File | 705 | 16KB | 1996-05-06 |